
OBJS += frontends/verific/verific.o

ifeq ($(ENABLE_VERIFIC),1)

OBJS += frontends/verific/verificsva.o

EXTRA_TARGETS += share/verific

share/verific:
	$(P) rm -rf share/verific.new
	$(Q) mkdir -p share/verific.new
ifneq ($(DISABLE_VERIFIC_VHDL),1)
	$(Q) cp -r $(VERIFIC_DIR)/vhdl_packages/vdbs_1987/. share/verific.new/vhdl_vdbs_1987
	$(Q) cp -r $(VERIFIC_DIR)/vhdl_packages/vdbs_1993/. share/verific.new/vhdl_vdbs_1993
	$(Q) cp -r $(VERIFIC_DIR)/vhdl_packages/vdbs_2008/. share/verific.new/vhdl_vdbs_2008
endif
	$(Q) chmod -R a+rX share/verific.new
	$(Q) mv share/verific.new share/verific

endif

